Tablebases

t. In 1977, Thompson showed up at the World Computer Chess Championship th a new creation, a database that played the king and queen versus king and rook endgame perfectly. (KQKR is the abbreviation.) It wasn'1 an engine; there was no thinking required. Thompson had generated a database that essentially solved chess backwards, what we call retrograde analysis. It started from checkmate and worked its way back until it contained every single possible position with that material balance. Then i...

 Martin Rees: We'll Never Hit Barriers To Scientific Under...

We humans haven't changed much since our remote ancestors roamed the African savannah. Our brains evolved to cope with the human-scale environment. So it is surely remarkable that we can make sense of phenomena that confound everyday intuition: in particular, the minuscule atoms we're made of, and the vast cosmos that surrounds us. Nonetheless—and here I'm sticking my neck out—maybe some aspects of reality are intrinsically beyond us, in that their comprehension would require some post-human...